Being part of the RoboCup initiative, the RoboCup@Home league targets the development and deployment of autonomous service and assistive robot technology being essential for future personal domestic applications. The domain of domestic service and assistive robotics implicates a wide range of possible problems. The primary reasons for this include the large amount of uncertainty in the dynamic and non-standardized environments of the real world, and the related human interaction. Furthermore, the application orientation requires a large effort towards high level integration (...) combined with a demand for general robustness of the systems. This article details the need for interdisciplinary community effort to iteratively identify related problems, to define benchmarks, to test and, finally, to solve the problems. The concepts and the implementation of the RoboCup@Home initiative as a combination of scientific exchange and competition is presented as an effi cient method to accelerate and focus technological and scientific progress in the domain of domestic service robots. Finally, the progress in terms of performance increase in the benchmarks and technological advancements is evaluated and discussed. Keywords: Domestic Service Robotics, Application, Uncertainty, Benchmark, Competition, Human–Robot Interaction, RoboCup@Home. (shrink)

The concept of meaningful work is used to evaluate the quality of work. Typical cases of meaningless work that have been used to clarify this concept are assembly line work, and work involving other types of mindless tasks, but also David Graeber's ‘bullshit jobs’. I argue that there are at least two fundamental reasons to care about meaningful work: reasons from the wellbeing of the worker and reasons pertaining to meaningfulness of the worker's life. I first argue that a concept (...) of meaningful work needs to reflect these two values, but that these two values may come apart. Because of this, accounts that provide a single answer to the question to what extent a particular work context is meaningful work for a particular worker are unable to reflect these two values. I then survey three promising accounts of meaningful work: perfectionism, which captures the self-interested aspect of meaningful work well but fails to capture the meaningfulness aspect appropriately; consequentialism, which captures the meaningfulness aspect well but fails to capture the self-interested aspect; and Wolf's Fitting Fulfilment View of meaningful projects, which can be read as addressing both concerns but leads to implausible judgments about meaningful work. I then argue that we should conceive of the concerns that fall under the notion of meaningful work as two separate concepts and values. The best work incorporates both these dimensions but falling short on either dimension is problematic for different reasons. (shrink)

Tim French, Wiebe van der Hoek, Petar Iliev and Barteld Kooi. Succinctness of Epistemic Languages. In: T. Walsh (editor). Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI-11), pp. 881-886, AAAI Press, Menlo Park.

The sense of agency has received much attention in the context of individual action but not in the context of joint action. We investigated how the sense of agency developed during individual and dyadic performance while people learned a haptic coordination task. The sense of agency increased with better performance in all groups. Individuals and dyads showed a differential sense of agency after initial task learning, with dyads showing a minimal increase. The sense of agency depended on the context in (...) which the task was first learnt, as transfer from joint to individual performance resulted in an illusory boost in the sense of agency. Whereas the quality of performance related to the sense of agency, the generated forces to achieve the task did not. Our findings are consistent with a predictive model account at the perceptual level, such that the sense of agency relies most strongly on sharable perceptual information. (shrink)

We introduce a logic specifically designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent preferences. We establish a correspondence between formulae in the logic and properties of social choice functions, and show that the logic is expressively complete with respect to social choice functions, i.e., that every social choice function can be characterised as a formula of the logic. We prove that the logic is decidable, and give a (...) complete axiomatization. To demonstrate the value of the logic, we show in particular how it can be applied to the problem of determining whether a social choice function is strategy-proof. (shrink)

Although the change of beliefs in the face of new information has been widely studied with some success, the revision of other mental states has received little attention from the theoretical perspective. In particular, intentions are widely recognised as being a key attitude for rational agents, and while several formal theories of intention have been proposed in the literature, the logic of intention revision has been hardly considered. There are several reasons for this: perhaps most importantly, intentions are very closely (...) connected with other mental states—in particular, beliefs about the future and the abilities of the agent. So, we cannot study them in isolation. We must consider the interplay between intention revision and the revision of other mental states, which complicates the picture considerably. In this paper, we present some first steps towards a theory of intention revision. We develop a simple model of an agent’s mental states, and define intention revision operators. Using this model, we develop a logic of intention dynamics, and then investigate some of its properties. (shrink)

Misinformation about the novel coronavirus is a pressing societal challenge. Across two studies, one preregistered, we assess the efficacy of two ‘prebunking’ interventions aimed at improving people’s ability to spot manipulation techniques commonly used in COVID-19 misinformation across three different languages. We find that Go Viral!, a novel five-minute browser game, increases the perceived manipulativeness of misinformation about COVID-19, improves people’s attitudinal certainty in their ability to spot misinformation and reduces self-reported willingness to share misinformation with others. The first two (...) effects remain significant for at least one week after gameplay. We also find that reading real-world infographics from UNESCO improves people’s ability and confidence in spotting COVID-19 misinformation. Limitations and implications for fake news interventions are discussed. (shrink)

In the present work we illustrate how two sorts of defeasible reasoning that are fundamental in the normative domain, that is, reasoning about exceptions and reasoning about violations, can be simulated via monotonic propositional theories based on a bimodal language with primitive operators representing knowledge and obligation. The proposed theoretical framework paves the way to using native theorem provers for multimodal logic, such as MleanCoP, in order to automate normative reasoning.

The subtitle of this paper could have been, “Big Data meets Education to advance Cognitive Science.” In it, the authors analyze 20 million answers to 1700 simple arithmetic problems in an educational number game to determine “what makes some problems harder than others.” The results contribute to the cognitive science of arithmetic skill acquisition and have the potential to change how math is taught.

This article aims to provide some insight into the nature and content of the theory of associative political obligation. It does this by first locating the view in the wider debate on political obligation, analyzing the view in terms of four central elements that are shared by many of its versions, and then discussing important criticisms that have been made of each of these, as well as some rejoinders by defenders of the theory.

Contextualist moral philosophers criticise hands-off liberal theories of justice for abstracting from the cultural context in which people make choices. Will Kymlicka and Joseph Carens, for example, demonstrate that these theories are disadvantageous to cultural minorities who want to pursue their own way of life. I argue that Pierre Bourdieu's critique of moral reason radicalises contextualist moral philosophy by giving it a sociological turn. In Bourdieu's view it is not enough to provide marginalised groups or subgroups with equal access to (...) public institutions and specific cultural rights—in some cases this may in fact be detrimental. He contends that scientists, politicians and other intellectuals have a duty to take seriously the social presuppositions of free deliberate choice and public opinion and to support cultural minorities with instruments to liberate themselves from their often precarious situation. (shrink)

Compared with other biblical books that are named after its main protagonist, Job mentions many (at least 72) body parts. Yet hair is explicitly referred to only once, even when it plays a relatively significant role in other books in the Hebrew Bible. This virtual absence of hair in the book can at first glance be explained by the shaving of Job's 'head' as early as 1:20, using a different verb, •••, from the one in Leviticus 13:33 and 14:8.9, •–•, (...) where the context is that of —’—’–’—, wrongly translated as 'leprosy', but probably referring to the same skin problem from which Job is suffering. This connection to the skin is important, because the two body parts seem to be almost mutually exclusive, as also suggested by 1:21 immediately after the aforementioned shaving, where Job considers himself to be essentially –’—’– [naked]. This means that hair has, amongst other functions, also a clothing-like role in the book of Job. Three questions will hence be explored: how 'absence' is to be psychoanalytically interpreted and more specifically, what consequences all of this has on the virtual absence of hair in the Book of Job and, finally, what relevance this absence has for the South African context. CONTRIBUTION: Applying a psychoanalytical perspective to both the body and to absence, the biblical text is contextualised on a broader horizon than what the purely historical-critical approach can render. The additional African context widens the relevance of the ancient book even further. (shrink)

Since Gallie introduced the notion of essentially contested concepts, it has given rise to considerable debate and confusion. The aim of this paper is to bring clarity to these debates by offering a critical reconstruction of the notion of essential contestedness. I argue that we should understand essentially contestable concepts as concepts that refer to ideals or to concepts and phenomena that can only be fully understood in light of ideals and that are, as a consequence, open to pervasive contestation. (...) Moreover, some concepts are second-order essentially contested: it may be a matter of ongoing dispute as to whether they should be regarded as essentially contested. The concept of law is an example. Some authors argue that it is ideal-oriented, whereas others claim it is not. This insight that ‘law’ is a second-order essentially contested concept may explain some of the disagreements between legal positivism and its various opponents. (shrink)

This paper provides an empirical case study of the relationship between corporate social responsibility (CSR) and the new competition regulation in the Netherlands. The leading question in this case study is whether the new institutional arrangement has allowed for the possibility that reasonable exceptions can be made to the principle that inter-firm cooperation is prohibited. That is to say: does the new institutional arrangement allow for the possibility of 'well organized but not 'perfect' markets'? The investigation focuses on the Netherlands, (...) which constitutes an exemplary case as the Dutch are committed to both strengthen the competitiveness of the market and allow for exceptions on behalf of non-economic values such as CSR. The authors expect that the Dutch context will prevent a doctrinal and categorical rejecting of any good argument to make an exception to the rule that inter-firm cooperation must be prohibited. (shrink)

In this article we characterize a countable ordinal known as the big Veblen number in terms of natural well-partially ordered tree-like structures. To this end, we consider generalized trees where the immediate subtrees are grouped in pairs with address-like objects. Motivated by natural ordering properties, extracted from the standard notations for the big Veblen number, we investigate different choices for embeddability relations on the generalized trees. We observe that for addresses using one finite sequence only, the embeddability coincides with the (...) classical tree-embeddability, but in this article we are interested in more general situations. We prove that the maximal order type of some of these new embeddability relations hit precisely the big Veblen ordinal ϑΩΩ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\vartheta \Omega^{\Omega}}$$\end{document}. Somewhat surprisingly, changing a little bit the well-partially ordered addresses, the maximal order type hits an ordinal which exceeds the big Veblen number by far, namely ϑΩΩΩ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\vartheta \Omega^{\Omega^\Omega}}$$\end{document}. Our results contribute to the research program on classifying properties of natural well-orderings in terms of order-theoretic properties of the functions generating the orderings. (shrink)

This book chapter addresses two questions. First, can targeted killing by drones in non-battlefield zones be justified on basis of just war theory? Second, will the proliferation and expansion of combat drones in warfare, including the introduction of autonomous drones, be an obstacle to initiating or executing wars in a just manner in the future? The first question is answered by applying traditional jus ad bellum and jus in bello principles to the American targeted killing campaign in Pakistan; the second (...) question is answered on basis of principles of “just military preparedness” or jus ante bellum, a new category of just war thinking. It is concluded that an international ban on weaponized drones is morally imperative and, certainly, that an international treaty against autonomous lethal weapons should be adopted. (shrink)

Health technology assessment consists of thesystematic study of the consequences of theintroduction or continued use of the technology in aparticular context, with the explicit objective toarrive at a judgment of the value or merit of thetechnology. Ideally, it is aimed at assessing allaspects of a given technology or group oftechnologies, including non-technical, e.g.socio-ethical, aspects. However, methods for assessingsocio-ethical implications of health technology arerelatively undeveloped and few mechanisms exist totake action based on the results of such evaluations.Still, the examples of cochlear (...) inplants and other cases illustratethat HTA is not a matter of merely collecting thefacts about a technology. The facts must beplausible and relevant from a particular framework,which is not always shared by different groups. It ishere that socio-ethical aspects are encountered. Ifhealth technology assessment aims to enhance theaccountability of the decision making processregarding funding and use of health technology, it isa major challenge to assessors of health technologiesto deal adequately with existing value pluralism. Inthis respect interactive evaluation may have somethingto offer. (shrink)

Qualitative coalitional games (QCGs) were introduced as abstract formal models of goal-oriented cooperative systems. A QCG is a game in which each agent is assumed to have some goal to achieve, and in which agents must typically cooperate with others in order to satisfy their goals. In this paper, we show how it is possible to reason about QCGs using Coalition Logic (CL), a formalism intended to facilitate reasoning about coalitional powers in game-like multiagent systems. We introduce a correspondence relation (...) between QCGs and interpretations for CL, which defines the circumstances under which a CL interpretation correctly characterises a QCG. The complexity of deciding correspondence between QCGs and interpretations for CL is shown to vary from being tractable up to Πp 2-complete, depending on the representation chosen for the QCG and interpretation. We then show how various properties and solution concepts of QCGs can be characterised as CL formula schemes. The ideas are illustrated via a detailed worked example, in which we demonstrate how a model checker can be deployed to investigate whether a particular system has the properties in question. (shrink)

" Il faut philosopher " : cette formule se rencontre en diverses oeuvres de l'Antiquité destinées à exhorter un public à pratiquer la sagesse ou la philosophie, et, en particulier, dans certains des rares témoignages sur le Protreptique d'Aristote désormais perdu. Plusieurs philologues, à partir de la fin du me siècle, crurent retrouver un vaste ensemble de " fragments " de celui-ci dans l'ouvrage homonyme du néoplatonicien Jamblique. Cette " découverte " déboucha sur de nombreux travaux autour de l'authenticité aristotélicienne (...) des chapitres V à XII du livre de Jamblique, et sur différentes tentatives, au demeurant hypothétiques, pour " reconstruire " l'original aristotélicien. Le statut des extraits de Jamblique est paradoxal : si leur contenu correspond, en majorité, aux doctrines du corpus aristotélicien et semble formulé dans le cadre d'une exhortation, jamais, toutefois, l'auteur ne se réfère explicitement au Stagirite. La perspective du présent ouvrage tient compte de ce paradoxe : pour désigner l'ensemble comprenant les quelques témoignages et les rares citations de l'ouvrage aristotélicien extérieures à Jamblique, ainsi que les extraits de ce dernier, nous avons donc préféré au titre de Protreptique d'Aristote celui d'Exhortations aristotéliciennes. Cet appel à la prudence est aussi un moyen de déplacer l'intérêt de ces textes. Cet intérêt a été souvent grevé, en effet, par les questions de l'authenticité aristotélicienne, sans doute trop présentes, au détriment de ce que la traduction et le commentaire proposés dans cette édition veulent mettre en évidence : la richesse des réflexions sur le sens et la valeur de la philosophie développées dans ces extraits, source d'inspiration pour de nombreux auteurs de l'Antiquité plus tardive. L'introduction montre ainsi que la philosophie des Exhortations aristotéliciennes se situe au croisement de deux modèles conceptuels fondamentaux : elle est tantôt technique et science, tantôt accomplissement des facultés naturelles de l'homme. Ce qui explique aussi l'attention apportée, dans cette édition, à l'argumentation des Exhortations et aux questions rhétoriques, largement abordées dans une dernière partie de l'introduction. (shrink)

This chapter contains sections titled: Law Morality From Morality to Law From Law to Morality Converging Law and Morality Diverging Law and Morality: Beyond the Liberal Model References Further reading.

This study assessed the International Critical Thinking Essay Test (ICTET-A) for inter-rater reliability, internal reliability, and criterion validity. A self-selecting sample of participants (N = 100) completed the ICTET-A and a comparison test online. We found the ICTET-A items to have moderate to good levels of inter-rater reliability, and overall excellent inter-rater consistency for total test scores. The test had good internal reliability. There was a strong correlation between scores on the ICTET-A and the comparison test. Factor analysis showed that (...) scores were best explained with one factor, suggesting the test measures a single construct. The ICTET-A can therefore be considered a valid measure of critical thinking. Additionally, we propose a short form of the test. (shrink)

The schism referred to in 1 John 2:18 had already taken place within the Johannine community, with specific reference to the divisions between members, about the identity of Jesus Christ. The author nonetheless uses different semantically related verbs for communicating the ‘message’ (1:5; 3:11) about Jesus’ identity, each one with a particular nuance: through ‘speech, declaring’ [ἀπαγγέλλειν, 1:2, 3]; ‘proclaiming’ [ἀναγγέλλειν, 1:5]; ‘confessing’ [ὁμολογεῖν, 1:9; 2:23, 4:2, 3, 15]; ‘testifying’ [μαρτυρεῖν, 1:2; 4:14; 5:6–11] and through ‘writing’ [γράφειν, 1:4; 2:1, 7, (...) 8, 12, 13 (2x), 14 (3x), 21, 26; 5:13]. In the last chapter of 1 John (1 Jn 5:5–12), the author’s testimony (in writing) that there is eternal life in Jesus Christ who is the Son of God culminates when he incorporates the fundamental testimonies of the Father, the Spirit and the water and blood to endorse this. The intention of this research is to determine conceivable spiritual experiences fostered among those early Christians when this message about Jesus as the Son of God, the Christ, was communicated to them through these activities (declaring, proclaiming, confessing, testifying) and confirmed via the testimonies of the Father, the Spirit and the water and blood. (shrink)

‘Homophobia’ is shorthand for stigmatising attitudes and practices towards people who demonstrate sexual diversity. In this article, we reflect on how African Christian faith may become redemptive rather than violent in the context of lesbian, gay, bisexual, transgender and intersex forms of sexuality.

Religie wordt vaak opgevat als een illusionaire macht waarmee onderscheid wordt gemaakt tussen het seculiere en het sacrale en daarmee tussen mensen die wel en mensen die niet uitverkoren zijn. Macht en geweld vallen in een dergelijke opvatting vrijwel samen. Aan de hand van het werk van Pierre Bourdieu laat ik zien dat dit leidt, hetzij tot een positie waarin ieder onderscheidend vermogen tussen wat waar of niet waar is verdwijnt, hetzij tot een positie waarin de criteria zo hoog worden (...) opgeschroefd dat waarheidsvinding nauwelijks mogelijk meer is. Tot slot verdedig ik een positie waarin religie begrepen wordt als een normatieve praktijk, waarin ook aan de uitoefening van macht een eigen plaats toekomt. (shrink)